.download-button {
  margin-top: 3em;
  font-size: var(--inspect-font-size-small);
}
